fun (_) -> ()
fun (a) -> ()
fun (_, _) -> ()
fun (_ :: _) -> ()
fun (_ as a) -> ()
fun (Some x) -> ()
fun (_ | _) -> ()
fun (_ & _) -> ()
